Merge: src/config.in: shrink slightly
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 22 Jan 2011 00:13:42 +0000 (16:13 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 22 Jan 2011 00:13:42 +0000 (16:13 -0800)
commit16ea2fdf9833947bdfda412ff929ede28cafbeff
treea4e4f57ed1aba43f19b98f4fd073d7ab673646ee
parent06f3ebc3ce23e66a3ab8ff9c6ef4ea54fd528dc8
parent95d05493adf168b11d6fe0db57e505b049aaaf18
Merge: src/config.in: shrink slightly